Let us call an integer part of an ordered field any subring such that every element of the field lies at distance less than 1 from a unique element of the ring. We show that every real closed field has an integer part.

While leading through goals is usually associated with a task-oriented leadership style, the present work links goal setting to transformational leadership. A longitudinal field study was conducted to investigate the influence of transformational leadership on followers’ job satisfaction, organizational commitment, and proactive behavior via goal attributes. Findings indicate that transformational leaders influence the extent to which followers evaluate organizational goals as important and perceive them as attainable. Multiple mediation analysis revealed that these goal attributes transmit the effect of transformational leadership (...) on followers’ job attitudes and proactive behavior. However, goal importance and goal attainability seem to be of differential importance for the different outcomes. (shrink)

In our earlier work, we argued, contra Searle, that institutional facts can be understood in terms of non-institutional facts about actions and incentives. Butchard and D’Amico claim that we have misinterpreted Searle, that our main argument against him (“the circularity objection”) has no merit and that our positive view cannot account for institutional facts created via joint action. We deny all three charges.

Declarations like “this meeting is adjourned” make certain facts the case by representing them as being the case. Yet surprisingly little attention has been paid to the mechanism whereby the utterance of a declaration can bring about a new state of affairs. In this paper, we use the incentivization account of institutional facts to address this issue. We argue that declarations can serve to bring about new states of affairs as their utterance have game theoretical import, typically in virtue of (...) the utterer signaling a commitment to act in an incentive-changing way. (shrink)

We present in this article a new logical system inspired from linear logic. This system is designed in order to express causality and dynamism. The cut elimination theorem holds for this logic. Examples of applications are given.

This paper is devoted to the study of some subvarieties of the variety Qof Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q 3 of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Qis far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q 3 and we construct the lattice of subvarieties (...) (Q 3 ) of the variety Q 3. (shrink)

A structure is locally finite if every finitely generated substructure is finite; local sentences are universal sentences all models of which are locally finite. The stretching theorem for local sentences expresses a remarkable reflection phenomenon between the finite and the infinite models of local sentences. This result in part requires strong axioms to be proved; it was studied by the second named author, in a paper of this Journal, volume 53. Here we correct and extend this paper; in particular we (...) show that the stretching theorem implies the existence of inaccessible cardinals, and has precisely the consistency strength of Mahlo cardinals of finite order. And we present a sequel due to the first named author: (i) decidability of the spectrum $\operatorname{Sp}(\varphi)$ of a local sentence φ, below ω ω ; where $\operatorname{Sp}(\varphi)$ is the set of ordinals α such that φ has a model of order type α (ii) proof that $\operatorname{beth}_\omega = \sup\{\operatorname{Sp}(\varphi): \varphi \text{local sentence with a bounded spectrum}\}$ (iii) existence of a local sentence φ such that $\operatorname{Sp}(\varphi)$ contains all infinite ordinals except the inaccessible cardinals. (shrink)

The research investigates the role of leadership in the transformation of denominational structures towards a missional ecclesiology, and focusses on the Highveld Synod of the Dutch Reformed Church. It describes the missional journey of the denomination, and interprets the transformation. The theory of ‘complex leadership’ in complex systems is applied to the investigation of the impact of leadership on a denominational structure. The theory identifies three mechanisms used by leaders as enablers in emergent, self-organisation systems: Leaders disrupt existing patterns, they (...) encourage novelty, and they act as sensemakers. These insights are applied as a tool to interpret the missional transformation of a denomination. (shrink)

Health care workers with needlestick exposures to patients' blood often request a test of the patient for evidence of infection with human immunodeficiency virus. If the patient refuses the test, a conflict develops between the interests of the health care worker and those of the patient. Traditional approaches to this dilemma attempt to balance the rights or utilities of abstract patients and health care workers. While these approaches have the advantage of offering clear guidelines in advance of conflict, the interests (...) of the actual participants may differ from those used to create the guidelines. In nonmedical settings, conflicts are often resolved efficiently through negotiation and monetary exchanges. Although negotiated monetary settlements between health care workers and patients may be an impractical way to resolve medical conflicts, models developed from these perspectives provide insights into the individual interests of physicians and patients. Changing existing rules about medical record documentation, or increasing the penalties for the misuse of medical information, may satisfy the interests on both sides of the conflict and so represent integrative bargaining solutions. Even so, as the relationship between health care workers and their patients evolves, more explicit strategies for negotiation may become a reasonable solution to the problem of conflict. (shrink)

Kripke (1977) views Donnellan's (1966) misdescription cases as cases where semantic reference and speaker's reference come apart. Such cases, however, are also cases where semantic reference conflicts with a distinct species of reference I call "public reference", i.e. the object that the cues publicly available at the time of utterance indicate is the speaker's referent of the utterance. This raises the question: do the misdescription cases trade on the distinction between semantic reference and speaker's reference, or the distinction between semantic (...) reference and public reference? I argue that Kripke's own construal in terms of semantic reference and speaker's reference is at best incomplete, and probably wrong. I also explain the general importance of the notion of 'public reference'. (shrink)

Insect and crustacean lineages diverged over 500 Myr ago, and there are continuing uncertaintles about whether they evolved from a common arthropod ancestor or, alternatively, they evolved independently from annelid worms. Despite the diversity of their limbs and lifestyles, the nervous systems of insects and crustaeeans share many common features both in development and in function. Cellular and molecular embryology techniques reveal good evidence for homologies in the developing segmental ganglia. In the visual system, this seemingly common programme of insect (...) and crustacean CNS development culminates in common adult neural function. Comparisons of the cellular anatomy and physiology of animals as diverse as flies and crayfishes indicate that the neural circuits in the lamina of their optic lobe have been inherited largely unchanged from a common ancestor with good compound eyes. (shrink)

This volume focuses on the modeling of cognition, and brings together contributions from psychologists and researchers in the field of cognitive science.

What part does reason play when we share our beliefs with others? And how can using our God-given intellect help in our own spiritual development?

The uneasiness caused by deberent loqui is reflected in the variant readings and the emendations put forward. Is there in fact a personal subject? To understand iuvenes is possible but clumsy, but if the tragic poets themselves are intended, then these great writers are strangely selfish. Petronius surely is talking about the proper language for good oratory, which depends on a healthy literary language in general. This rules outWilamowitz's too particular and Fuchs's uglier supplements: easier than deceret would be deberet, (...) paralleled almost exactly in Petronius’ contemporary, Seneca. Deberent and deberemus were doubtless due to a desire to provide a personal subject for the misunderstood impersonal verb. (shrink)

Burgess, J.P. and Rosen, G. Subject with No ObjectElliott, R.Faking Nature.